H-Coloring dichotomy revisited

نویسنده

  • Andrei A. Bulatov
چکیده

The H-Coloring problem can be expressed as a particular case of the Constraint Satisfaction Problem (CSP) whose computational complexity has been intensively studied under various approaches in the last several years. We show that the dichotomy theorem proved by P.Hell and J.Nešetřil [12] for the complexity of the H-Coloring problem for undirected graphs can be obtained using general methods for studying CSP, and that the criterion distinguishing the tractable cases of the H-Coloring problem agrees with that conjectured in [5] for the complexity of the general CSP.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the complexity of $\mathbb H$-coloring for special oriented trees

For a fixed digraph H, the H-coloring problem is the problem of deciding whether a given input digraph G admits a homomorphism to H. The CSP dichotomy conjecture of Feder and Vardi is equivalent to proving that, for any H, the H-coloring problem is in in P or NP-complete. We confirm this dichotomy for a certain class of oriented trees, which we call special trees (generalizing earlier results o...

متن کامل

(Non)native Language Teachers’ Cognitions: Are They Dichotomous?

In view of native/nonnative language teacher dichotomy, different characteristics have been assigned to these 2 groups. The dichotomy has been the source of different actions and measures to clarify the positive and negative points of being (non)native teachers. In recent years, many researchers have revisited this dichotomy. The challenge to the dichotomy can be a source of motivation to explo...

متن کامل

A New Combinatorial Approach to the Constraint Satisfaction Problem Dichotomy Classification

We introduce a new general polynomial-time constructionthe fibre constructionwhich reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction problem CSP(P ), where P is any subprojective relational structure. As a consequence we get a new proof (not using universal algebra) that CSP(P ) is NP -complete for any subprojective (and so for any projective) relational structur...

متن کامل

The Complexity of Homomorphisms of Signed Graphs and Signed Constraint Satisfaction

A signed graph (G,Σ) is an undirected graph G together with an assignment of signs (positive or negative) to all its edges, where Σ denotes the set of negative edges. Two signatures are said to be equivalent if one can be obtained from the other by a sequence of resignings (i.e. switching the sign of all edges incident to a given vertex). Extending the notion of usual graph homomorphisms, homom...

متن کامل

Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete

We introduce a new general polynomial-time constructionthe fibre constructionwhich reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction problem CSP(P), where P is any subprojective relational system. As a consequence we get a new proof (not using universal algebra) that CSP(P) is NP -complete for any subprojective (and thus also projective) relational system. The fi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 349  شماره 

صفحات  -

تاریخ انتشار 2005